A Stronger Foundation for Computer Science and P=NP

This article constructs a Turing Machine which can solve for β ′ which is REcomplete. Such a machine is only possible if there is something wrong with the foundations of computer science and mathematics. We therefore check our work by looking very closely at Cantor’s diagonalization and construct a novel formal language as an Abelian group which allows us, through equivalence relations, to provide a non-trivial counterexample to Cantor’s argument. As if that wasn’t enough, we then discover that the impredicative nature of Gödel’s diagonalization lemma leads to logical tautology, invalidating any meaning behind the method, leaving no doubt that diagonalization is flawed. Our discovery in regards to these foundational arguments opens the door to solving the P vs NP problem. 1 Turing’s Proof on the Entscheidungsproblem has